[[Types of Category]]
# Connex category
A **connex category** is a category that resembles a [[Totally ordered set|connex]] —
and hence it is a [[Posetal category]] in which #m/def/cat
$$
\begin{align*}
(\forall X,Y \in \Ob(\cat C)) [ \abs{\cat C {(X, Y)}} + \abs{\cat C {(Y, X)}} \gt 0]
\end{align*}
$$


#
---
#state/tidy | #SemBr